ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений

Терминология ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа:

3.3.1 арность оператора (arity of an operator): Максимальное число операндов, которые должны быть связаны с оператором.

Определения термина из разных документов: арность оператора

3.3.2 бинарный оператор (binary operator): Оператор, арность которого равна двум.

Определения термина из разных документов: бинарный оператор

3.3.5 выражение (expression): Набор переменных и/или констант, которые объединяются операторами.

Примечания

1. Выражение определяет функцию, чьими аргументами являются переменные, встречающиеся в выражении.

2. Структурой, представляющей выражение, является ориентированный ациклический граф, узлами которого являются операторы, константы и переменные. Связи в этом графе представляют собой однонаправленное отношение каждого оператора со своими аргументами, которые также могут быть выражениями.

Определения термина из разных документов: выражение

3.3.7 интерпретация (interpretation): Функция, которая возвращает семантику, связанную с каждой переменной.

Примечание - Данная функция использует среду, которая связывает переменную с соответствующей ей семантикой (и, может быть, с ее возможным значением).

Определения термина из разных документов: интерпретация

3.3.12 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечания

1. Выражение отнесено к определенному типу правильно, если тип данных каждого операнда каждого оператора этого выражения соответствует требуемому типу данных.

2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.

Определения термина из разных документов: контроль типа

3.1.2 объект (entity): Класс информации, определенный общими свойствами.

Определения термина из разных документов: объект

3.3.9 оператор (operator): Функция, которая соединяет одно или несколько значений, называемых операндами, чтобы выработать значение, называемое результатом.

Примечание - Определение оператора включает в себя определение типов данных его операндов и результата.

Определения термина из разных документов: оператор

3.3.8 оператор большой арности (multiple arity operator): Оператор, арность которого больше двух.

Определения термина из разных документов: оператор большой арности

3.2.4 ориентированный ациклический граф (directed acyclic graph): Набор узлов и связей, в котором ни один узел не является узлом-предком (или узлом-потомком) по отношению к самому себе.

Определения термина из разных документов: ориентированный ациклический граф

3.3.4 оценка (evaluation): Вычисление значения, представленного в виде выражения.

Определения термина из разных документов: оценка

3.3.15 переменная (variable): Представление значения, которое должно принадлежать к определенному типу данных.

Определения термина из разных документов: переменная

3.2.2 подчиненный узел (child node): Узел, на который непосредственно указывает связь.

Определения термина из разных документов: подчиненный узел

3.2.5 связь (link): Однонаправленное отношение одного узла с другим внутри ориентированного ациклического графа.

Определения термина из разных документов: связь

3.3.10 семантика (semantics): Смысл заданного понятия.

Пример - Семантикой переменной является смысл, выраженный посредством этой переменной.

Примечание - В контексте настоящего стандарта семантика представлена объектом variable_semantics. Типом этого объекта является ABSTRACT SUPERTYPE, который может быть использован для передачи конкретных смыслов и значений.

Определения термина из разных документов: семантика

3.3.11 синтаксическое представление (syntactic representation): Последовательность символов, которая представляет заданное понятие.

Примечания

1. В общепринятых языках программирования последовательность символов, используемая для представления различных понятий, должна подчиняться набору правил, называемому синтаксисом языка.

2. В контексте настоящего стандарта синтаксическое представление представляет собой имя экземпляра объекта (типа данных).

Определения термина из разных документов: синтаксическое представление

3.3.13 синтез типа (type synthesis): Определение типа данных выражения.

Примечание - В схеме ISO13584_expressions_schema тип данных каждой константы, переменной или результата оператора передается объектом, который ее представляет, поэтому тип данных выражения expression может быть выведен из результата EXPRESS-функции TYPEOF, примененной к узлу, который представляет это выражение.

Определения термина из разных документов: синтез типа

3.3.3 среда (environment): Связь между синтаксисом и семантикой.

Примечание - В контексте настоящего стандарта объект environment привязывает к объекту generic_variable (синтаксису) соответствующее ему значение (семантику), представленное объектом variable_semantics.

Определения термина из разных документов: среда

3.1.1 тип данных (data type): Область значений.

Определения термина из разных документов: тип данных

3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.

Примечание - В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584_expressions_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы. Синтез типа выполняется EXPRESS-функцией TYPEOF, которая определяет, принадлежит ли объект expression к numeric_expression, Boolean_expression или string_expression, а также функцией is_int, которая определяет, относится ли значение numeric_expression к типу INTEGER.

Определения термина из разных документов: тип данных выражения

3.1.3 тип данных объекта (entity data type): Представление объекта. Тип данных объекта устанавливает область значений, определяемую общими атрибутами и ограничениями.

Определения термина из разных документов: тип данных объекта

3.2.6 узел (node): Элемент ориентированного ациклического графа, соединенный с другим подобным элементом посредством связей.

Определения термина из разных документов: узел

3.2.3 узел-потомок (descendent node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей. Для заданного узла узлами-потомками являются все подчиненные узлы, все подчиненные узлы этих подчиненных узлов и т.д.

Определения термина из разных документов: узел-потомок

3.2.1 узел-предок (ancestor node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей в обратном направлении. Для заданного узла его узлами-предками являются все узлы-родители, все узлы-родители этих узлов-родителей и т.д.

Определения термина из разных документов: узел-предок

3.2.7 узел-родитель (parent node): Узел, из которого исходит связь.

Определения термина из разных документов: узел-родитель

3.3.14 унарный оператор (unary operator): Оператор, арность которого равна единице.

Определения термина из разных документов: унарный оператор

3.1.4 экземпляр объекта (типа данных) (entity (data type) instance): Обозначенный блок данных, который представляет блок информации внутри класса, определенного объектом, и принадлежит к области значений, установленной типом данных объекта.

Определения термина из разных документов: экземпляр объекта (типа данных)